#include<bits/stdc++.h> 
using namespace std;
//	跟乙级1014题一模一样，直接抄就行
//大侦探很快就明白了，字条上奇怪的乱码实际上就是约会的时间星期四 14:04，因为前面两字符串
//中第 1 对相同的大写英文字母（大小写有区分）是第 4 个字母 D，代表星期四；第 2 对相同的字
//符是 E ，那是第 5 个英文字母，代表一天里的第 14 个钟头（于是一天的 0 点到 23 点由数字
// 0 到 9、以及大写字母 A 到 N 表示）；后面两字符串第 1 对相同的英文字母 s 出现在第 4 个
//位置（从 0 开始计数）上，代表第 4 分钟。现给定两对字符串，请帮助福尔摩斯解码得到约会的
//时间。
//输入格式：
//输入在 4 行中分别给出 4 个非空、不包含空格、且长度不超过 60 的字符串。
//输出格式：
//在一行中输出约会的时间，格式为 DAY HH:MM，其中 DAY 是某星期的 3 字符缩写，即 MON 表示星
//期一，TUE 表示星期二，WED 表示星期三，THU 表示星期四，FRI 表示星期五，SAT 表示星期六，
//SUN 表示星期日。题目输入保证每个测试存在唯一解。
string week[7] = {"MON", "TUE", "WED", "THU", "FRI", "SAT", "SUN"};
string day = "ABCDEFG";
string hour = "0123456789ABCDEFGHIJKLMN";
string minute = "0";
int main(){
	string s1,s2,s3,s4;
	cin>>s1>>s2>>s3>>s4;
	int len1 = min(s1.length(), s2.length());
	int len2 = min(s3.length(), s4.length());
	int count_ = 1;
	for(int i = 0;i<len1;i++){
		if(s1[i] == s2[i] && count_ == 1 && day.find(s1[i])!=-1){
			day = week[day.find(s1[i])];
			count_ = 2;
		}
		else if(s1[i] == s2[i] && count_ == 2 && hour.find(s1[i])!=-1){
			char h[20];
			sprintf(h,"%02d",hour.find(s1[i]));
			hour = h;
			count_ = 3;
			break; 
		}
	}
	for(int i = 0;i<len2;i++){
		if(s3[i] == s4[i] && count_ == 3 && isalpha(s3[i])){
			char m[20];
			sprintf(m,"%02d",i);
			minute = m;
			break;
		}
	}
	cout<<day+" "+hour+":"+minute<<endl;
	return 0;
}